Stationary behavior of controlled generalized batches Petri nets

In this paper we consider controlled Generalised Batches Petri Nets, a class of batches nets where the firing flow of continuous and batch transitions and the transfer speed of batch places are control variables to be selected within an admissible range. We show that the steady state behavior of this class of nets during a period in which no discrete transition fires can be characterized by solving a nonlinear programming problem that takes into account the net structure and the initial marking. A viable technique to compute a family of solutions by linear relaxation is also presented. Published as: I. Demongodin, A. Giua, "Stationary behavior of controlled Generalised Batches Petri Nets," WODES12: 11th Int. Work. on Discrete Event Systems (Guadalajara, Mexico), Oct 2012. This work has been partially supported by: the European Community’s Seventh Framework Programme under project DISC (Grant Agreement n. INFSO-ICT-224498); the Visiting Professors 2011 program of the University of Cagliari sponsored by the Autonomous Region of Sardinia.